Merge branch 'fix-menu-flicker' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Thu, 2 Apr 2020 05:19:13 +0000 (05:19 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 2 Apr 2020 05:19:13 +0000 (05:19 +0000)
Fix crossing event generation

Closes #2536

See merge request GNOME/gtk!1601


Trivial merge